function processing() {
	var minutes = document.getElementById('minutes');
	var seconds = document.getElementById('seconds');
	var time = document.getElementById('time').value;
	var localTime = new Date().getTime(); // 获取当前本地服务器时间戳，单位是ms
	var endTime = localTime + time * 60 * 1000; // 设置结束时间-->time分钟
	var timer;
	timer = setInterval(function() {
		var count_down = endTime - new Date().getTime(); // 获得结束时间-当前本地时间的一个毫秒数
		var Seconds = Math.trunc(count_down / 1000); // 根据得到的毫秒值计算出总秒数
		var minute = Math.trunc(Seconds / 60); // 得到一个分钟数
		var second = Seconds % 60; // 得到一个秒数
		minute = checkInt(minute); // 如果分钟数小于10，则在数字前加上一个'0'
		second = checkInt(second); // 如果秒数小于10，则在数字前加上一个'0'
		minutes.innerHTML = minute; // 将分钟数写入页面中的div里
		seconds.innerHTML = second; // 将秒数写入页面中的div里
		if (minute == 0 && second == 0) { // 如果时间停止了，则关闭计时器，并在浏览器弹出一个警告窗
			clearInterval(timer);
			setTimeout(function() { // 在计时器结束3秒之后弹出警告窗
				alert('\n任务已完成！\n\r请及时处理！');
			}, 3000)

		}
	}, 1) // 每间隔1毫秒执行一次setInterval()内的函数

	// 定义checkInt()函数，当倒计时数字小于10的时候，在数字前加上'0'
	function checkInt(num) {
		if (num < 10) {
			num = "0" + num;
		}
		return num;
	}

}
